The tableaux-constructions have a number of properties which advantageously distinguish them from equivalent axiomatic systems . The proofs in the form of tableaux-constructions have a full accordance with semantic interpretation and subformula property in the sense of Gentzen’s Hauptsatz. Method of tatleaux-construction gives a good substitute of Gentzen’s methods and thus opens a good perspective for the investigations of theoretical as well as applied aspects of logical calculi. It should be noted that application of tableau method in modal, tense, relevant (...) and other non-classical logics is connected with serious difficulties. Tableaux variants are constructed only for a few normal modal systems. As to relevant and paraconsistent logic, the absence of its tableau variants may be considered as a question of special interest. We shall formulate the tableaux for propositional modal system S4.1, S4.2, S4.3, S4.4 and relevant R∗ and E ∗ using Beth’s tableaux construction with indexed formulas. (shrink)

Vladimir Aleksandrovich Smirnov was born on March 2, 1931. He graduated from Moscow State University in 1954. From 1957 till 1961 he was a lecturer in philosophy and logic at the Tomsk University. Since 1961 his scientific activity continued in Moscow at the Institute of Philosophy of Academy of Sciences of the USSR. From 1970 and till the last days of his life V. A. Smirnov was lecturer and then Professor at the Chair of Logic at Moscow State University. V. (...) A. Smirnov played an important role at the Institute of Philosophy of Russian Academy of Sciences being the Head of Department of Epistemology, Logic and Philosophy of Science and Technology, and the Head of Section of Logic. Last years he was the leader of the Centre of Logical Investigations of Russsian Academy of Sciences. In 1990-91 he founded a new non-goverment Institute of Logic, Cognitive Sciences and Development of Personality for performing research, teaching, editorial and organization activity in the field of humanities. At the Department of Philosophy of Moscow State University and at the Institute of Philosophy V. A. Smirnov and his close colleagues have founded a Russian logical school which brought up many talented researchers who work at several scientific centres in various countries. (shrink)

The perspectives of the dominant Western ethical theories, have dominated the concepts of autonomy and informed consent for many years. Recently this dominant understanding has been challenged by ethics of care which, although, also emanates from the West presents a more nuanced concept: relational autonomy, which is more faithful to our human experience. By paying particular attention to relational autonomy, particularity and Process approach to ethical deliberations in ethics of care, this paper seeks to construct a concept of informed consent (...) from the perspective of ethics of care which is here called relational autonomy-in-informed consent (RAIC). Thus, providing a broader theoretical basis for informed consent beyond the usual theoretical perspectives that are particularly Western. Care ethics provides such a broader basis because it appeals to a global perspective that encompasses lessons from other cultures, and this will help to enrich the current ideas of bioethics principles of autonomy and informed consent. This objective will be achieved by exploring the ethics of care emphasis on relationships based on a universal experience of caring; and by contrasting its concept of autonomy as relational with the understanding of autonomy in the approaches of the dominant moral theories that reflect rational, individualistic, and rights-oriented autonomy of the American liberalism. (shrink)

Economics is privileged in contemporary government policy such that all human transactions are seen as economic forms of exchange. Education has been discursively restructured according to the logic of the market, with education policy being increasingly colonised by economic policy imperatives. This paper explores some of the consequences of this reframing which draws upon metaphors from industrial and business domains. This paper examines a significant dimension of teaching that currently has marginal presence in official discourse: social contingency. We argue that (...) social contingency is characterised by a variety of distinctive features that include unpredictability, relationality and ethical demands. The significance of social contingency is highlighted by a comparison with industrial production, which is organisationally contingent, and craft production, which is characterised as materially contingent. We argue that the different nature of contingency in these domains makes them inappropriate as metaphors for teaching. We explore the nature of social contingency and some of the practical and ethical consequences of the failure to articulate this in official discourse. Its absence in such discourse is illustrated by consideration of competence statements in the Initial Teacher Education context. We argue that the neglect of social contingency is founded on assumptions of teacher sovereignty that are both philosophically and ethically unsustainable. (shrink)

What is the best account of process reliabilism about epistemic justification, especially epistemic entitlement? I argue that entitlement consists in the normal functioning (proper operation) of the belief-forming process when the process has forming true beliefs reliably as an etiological function. Etiological functions involve consequence explanation: a belief-forming process has forming true beliefs reliably as a function just in case forming-true beliefs reliably partly explains the persistence of the process. This account paves the way for avoiding standard objections to process (...) reliabilism and situations epistemic entitlement within a normative framework of functions and functional norms. (shrink)

We often speak as if there are merely possible people—for example, when we make such claims as that most possible people are never going to be born. Yet most metaphysicians deny that anything is both possibly a person and never born. Since our unreflective talk of merely possible people serves to draw non-trivial distinctions, these metaphysicians owe us some paraphrase by which we can draw those distinctions without committing ourselves to there being merely possible people. We show that such paraphrases (...) are unavailable if we limit ourselves to the expressive resources of even highly infinitary first-order modal languages. We then argue that such paraphrases are available in higher-order modal languages only given certain strong assumptions concerning the metaphysics of properties. We then consider alternative paraphrase strategies, and argue that none of them are tenable. If talk of merely possible people cannot be paraphrased, then it must be taken at face value, in which case it is necessary what individuals there are. Therefore, if it is contingent what individuals there are, then the demands of paraphrase place tight constraints on the metaphysics of properties: either (i) it is necessary what properties there are, or (ii) necessarily equivalent properties are identical, and having properties does not entail even possibly being anything at all. (shrink)

Valence is a central component of all affective states, including pains, pleasures, emotions, moods, and feelings of desire or repulsion.This paper has two main goals. One is to suggest that enough is now known about the causes, consequences, and properties of valence to indicate that it forms a unitary natural-psychological kind, one that seemingly plays a fundamental role in motivating all kinds of intentional action. If this turns out to be true, then the correct characterization of the nature of valence (...) becomes an urgent philosophical issue. There appear to be just two accounts that have the required generality. According to one, valence is a nonconceptual representation of value. According to the other, valence is an intrinsic qualitative property of experience. The second goal of the paper is to contrast and evaluate these two views of the nature of valence, drawing on the relevant empirical findings. Overall, I suggest that the representational account is more plausible. (shrink)

It has been the dominant view that probabilistic explanations of particular facts must be inductive in character. I argue here that this view is mistaken, and that the aim of probabilistic explanation is not to demonstrate that the explanandum fact was nomically expectable, but to give an account of the chance mechanism(s) responsible for it. To this end, a deductive-nomological model of probabilistic explanation is developed and defended. Such a model has application only when the probabilities occurring in covering laws (...) can be interpreted as measures of objective chance, expressing the strength of physical propensities. Unlike inductive models of probabilistic explanation, this deductive model stands in no need of troublesome requirements of maximal specificity or epistemic relativization. (shrink)

This paper argues that a set of questioning attitudes are among the foundations of human and animal minds. While both verbal questioning and states of curiosity are generally explained in terms of metacognitive desires for knowledge or true belief, I argue that each is better explained by a prelinguistic sui generis type of mental attitude of questioning. I review a range of considerations in support of such a proposal and improve on previous characterizations of the nature of these attitudes. I (...) then broaden their explanatory scope to include a number of forms of exploratory search. The paper has three main goals: to characterize the nature of the questioning attitudes, outlining their causal role and type of content; to argue that they are fundamental components of the mind, being widespread among animals and not constructed during ontogeny out of other attitudes; and to suggest that they explain a great deal more behavior than one might think. (shrink)

Contingentists—who hold that it is contingent what there is—are divided on the claim that having a property or standing in a relation requires being something. This claim can be formulated as a natural schematic principle of higher-order modal logic. On this formulation, I argue that contingentists who are also higher-order contingentists—and so hold that it is contingent what propositions, properties and relations there are—should reject the claim. Moreover, I argue that given higher-order contingentism, having a property or standing in a (...) relation does not even require possibly being something. (shrink)

One does not simply predict where the other will go, which is wherever the first predicts the second to predict the first to go, and so ad infinitum. Not "What would I do if I were she?" but "What would I do if I were she wondering what she would do if she were wondering what I would do if I were she...?".

Several different approaches to the conceptual analysis of causation are guided by the idea that a cause is something that makes a difference to its effects. These approaches seek to elucidate the concept of causation by explicating the concept of a difference-maker in terms of better-understood concepts. There is no better example of such an approach than David Lewis’ analysis of causation, in which he seeks to explain the concept of a difference-maker in counterfactual terms. Lewis introduced his counterfactual theory (...) of causation with these words: 'We think of a cause as something that makes a difference, and the difference it makes must be a difference from what would have happened without it. Had it been absent, its effects—some of them, at least, and usually all—would have been absent as well.' (Lewis 1973b: pp. 160-1) According to Lewis, a cause c makes a difference to an effect e in the sense that if the cause c had not occurred, the effect e would not have occurred either. All we shall see in section 2, Lewis’ theory says there is more to the concept of causation than this counterfactual condition. Lewis is on the right track, I think, in saying that we think of a cause as something that makes a difference and that this thought is best explicated in terms of counterfactual concepts. However, I shall argue that the particular way in which Lewis spells out the concept of a cause as difference-maker is unsatisfactory. For Lewis’ articulation of this concept is distorted by a specific metaphysical assumption: specifically, that causation is an absolute relation, specifiable independently of any contextual factors. The distortion induced by this assumption is reflected in the undiscriminating manner in which his theory generates countless causes for any given effect. However, commonsense judgement is much more discriminating about causes than Lewis’ theory. Accordingly, I claim that Lewis' analysis faces the problem of profligate causes and I outline some specific problem cases in section 3.. (shrink)

In "How Do We Know It Is Now Now?" David Braddon-Mitchell (Analysis 2004) develops an objection to the thesis that the past is real but the future is not. He notes my response to this, namely that the past, although real, is lifeless and (a fortiori?) lacking in sentience. He argues, however, that this response, which I call 'the past is dead hypothesis', is not tenable if combined with 'special relativity'. My purpose in this reply is to argue that, on (...) the contrary, 'special relativity' supports the thesis that the future is unreal. (shrink)

Many people believe that all human life is of equal value. Most of them also believe that all human beings have a moral status superior to that of nonhuman animals. But how are these beliefs to be defended? The mere difference of species cannot in itself determine moral status. The most obvious candidate for regarding human beings as having a higher moral status than animals is the superior cognitive capacity of humans. People with profound mental retardation pose a problem for (...) this set of beliefs, because their cognitive capacities are not superior to those of many animals. I argue that we should drop the belief in the equal value of human life, replacing it with a graduated view that applies to animals as well as to humans. (shrink)

Building on the long-standing tradition of challenging oppression and questioning whose interests are being served in the field of language education, we report on a study that involved a group of U.S.-based graduate students who collaborated with a ninth-grade English teacher in Nepal. The study comes out of a larger project that sought to internationalize the curriculum of a graduate educational linguistics course at a U.S. university. At the heart of this internationalizing curriculum endeavour was a commitment to expose graduate (...) students in the U.S. to the issues of language teaching outside of the U.S. This was done through co-designing of a unit of lessons, with six graduate students meeting virtually with their teacher partner, Ditya, in Nepal over the course of a semester. The graduate students and Ditya constitute our research participants. The graduate student participants learned about the need to develop pedagogical materials that were relevant to the local context in Nepali classroom, and not attempt to transplant a Western-centric curriculum onto the Nepali classroom. In keeping with recent calls to decolonize higher education, we illustrate how critical theory in general and decolonizing pedagogy in particular can be infused into a U.S. graduate curriculum by drawing on the rich, indigenous knowledge and resources of a teacher collaborator from the Global South. We do this by reporting how this critical, decolonizing goal was realized through collaborative professionalism, which is characterized by the sharing of knowledge, skills, and experience to improve student achievement, reflection, dialogue and collective responsibility. (shrink)

Similarly to other accounts of disease, Christopher Boorse’s Biostatistical Theory (BST) is generally presented and considered as conceptual analysis, that is, as making claims about the meaning of currently used concepts. But conceptual analysis has been convincingly critiqued as relying on problematic assumptions about the existence, meaning, and use of concepts. Because of these problems, accounts of disease and health should be evaluated not as claims about current meaning, I argue, but instead as proposals about how to define and use (...) these terms in the future, a methodology suggested by Quine and Carnap. I begin this article by describing problems with conceptual analysis and advantages of “philosophical explication,” my favored approach. I then describe two attacks on the BST that also question the entire project of defining “disease.” Finally, I defend the BST as a philosophical explication by showing how it could define useful terms for medical science and ethics. (shrink)

In the old days, material egalitarians tended to favor equality of outcome advantage, on some suitable conception of advantage. Under the influence of Dworkin’s seminal articles on equality, contemporary material egalitarians have tended to favor equality of brute luck advantage---on the grounds that this permits people to be held appropriately accountable for the benefits and burdens of their choices. I shall argue, however, that a plausible conception of egalitarian justice requires neither that brute luck advantage always be equalized nor that (...) people always bear the full cost of their voluntary choices. Instead, justice requires that initial opportunities for advantage be equalized---roughly along the lines suggested by Arneson and Cohen. Brute luck egalitarianism and initial opportunity egalitarianism are fairly similar in motivation, and as a result they have not been adequately distinguished. Once the two views are more clearly contrasted, equality of opportunity for advantage will, I claim, be seen to be a more plausible conception of equality. (shrink)

Recent debates about memetics have revealed some widespread misunderstandings about Darwinian approaches to cultural evolution. Drawing from these debates, this paper disputes five common claims: (1) mental representations are rarely discrete, and therefore models that assume discrete, gene-like particles (i.e., replicators) are useless; (2) replicators are necessary for cumulative, adaptive evolution; (3) content-dependent psychological biases are the only important processes that affect the spread of cultural representations; (4) the “cultural fitness” of a mental representation can be inferred from its successful (...) transmission; and (5) selective forces only matter if the sources of variation are random. We close by sketching the outlines of a unified evolutionary science of culture. (shrink)

This paper will argue that there is no such thing as introspective access to judgments and decisions. It won't challenge the existence of introspective access to perceptual and imagistic states, nor to emotional feelings and bodily sensations. On the contrary, the model presented in Section 2 presumes such access. Hence introspection is here divided into two categories: introspection of propositional attitude events, on the one hand, and introspection of broadly perceptual events, on the other. I shall assume that the latter (...) exists while arguing that the former doesn't (or not in the case of judgments and decisions, at least). Section 1 makes some preliminary points and distinctions, and outlines the scope of the argument. Section 2 presents and motivates the general model of introspection that predicts a divided result. Section 3 provides independent evidence for the conclusion that judgments and decisions aren't introspectable. Section 4 then replies to a number of objections to the argument, the most important of which is made from the perspective of so-called "dual systems theories" of belief formation and decision making. The upshot is a limited form of eliminativism about introspection, in respect of at least two core categories of propositional attitude. (shrink)

In recent years there has been a revival of a theory of conscious emotions as analogous in important ways to perceptual experiences. In the standard versions of this view emotions are construed as, potentially, perceptual disclosures of values. The model has been widely debated and criticized. In this paper I reconstruct an early, qualified version of the perceptual model to be found in the classical phenomenological approaches of Scheler and Sartre. After outlining this version of the theory, I examine its (...) prospects against objections prominent in the current debate. (shrink)

Perceptual representations have distal content: they represent external objects and their properties, not light waves or retinal images. This basic fact presents a fundamental problem for ‘input-oriented’ theories of perceptual content. As I show in the first part of this paper, this even holds for what is arguably the most sophisticated input-oriented theory to date, namely Karen Neander's informational teleosemantics. In the second part of the paper, I develop a new version of informational teleosemantics, drawing partly on empirical psychology, and (...) partly on philosophical considerations. I shall argue that this version has all the virtues of Neander's original theory, but also the further crucial advantage of being able to account for the distality of perceptual content. (shrink)

A computational theory of induction must be able to identify the projectible predicates, that is to distinguish between which predicates can be used in inductive inferences and which cannot. The problems of projectibility are introduced by reviewing some of the stumbling blocks for the theory of induction that was developed by the logical empiricists. My diagnosis of these problems is that the traditional theory of induction, which started from a given (observational) language in relation to which all inductive rules are (...) formulated, does not go deep enough in representing the kind of information used in inductive inferences. As an interlude, I argue that the problem of induction, like so many other problems within AI, is a problem of knowledge representation. To the extent that AI-systems are based on linguistic representations of knowledge, these systems will face basically the same problems as did the logical empiricists over induction. In a more constructive mode, I then outline a non-linguistic knowledge representation based on conceptual spaces. The fundamental units of these spaces are "quality dimensions". In relation to such a representation it is possible to define "natural" properties which can be used for inductive projections. I argue that this approach evades most of the traditional problems. (shrink)

When is a testimony-based belief justified? According to so-called "Anti-Reductionism," the principle that a hearer is prima facie justified to take what another tells them at face value is true. I call this position "Liberal Foundationalism." I call it "liberal" for it is more liberal than "Moderate Foundationalism" that holds that perception-based beliefs are prima facie justified but testimony-based beliefs are not. Liberal Foundationalism has two interpretations: the principle is a contingent empirical truth, or an a priori necessary truth. I (...) call the view that the principle is a priori necessary "Liberal Fundamentalism." This chapter defends Liberal Fundamentalism against objections in the first half, and then in the second half it introduces "Weak Liberal Fundamentalism," the view that it is a priori necessary that testimony provides some epistemic support, but perhaps not enough, absent defeat, for knowledge. In later work I abandon the view that the principle is a priori necessary, but I still maintain the distinction between Strong and Weak variants of the principle, and the replies to many of the objections to the principle. (shrink)

It is fortunate for my purposes that English has the two words ‘almighty’ and ‘omnipotent’, and that apart from any stipulation by me the words have rather different associations and suggestions. ‘Almighty’ is the familiar word that comes in the creeds of the Church; ‘omnipotent’ is at home rather in formal theological discussions and controversies, e.g. about miracles and about the problem of evil. ‘Almighty’ derives by way of Latin ‘omnipotens’ from the Greek word ‘ pantokratōr ’; and both this (...) Greek word, like the more classical ‘ pankratēs ’, and ‘almighty’ itself suggest God's having power over all things. On the other hand the English word ‘omnipotent’ would ordinarily be taken to imply ability to do everything; the Latin word ‘omnipotens’ also predominantly has this meaning in Scholastic writers, even though in origin it is a Latinization of ‘ pantocratōr ’. So there already is a tendency to distinguish the two words; and in this paper I shall make the distinction a strict one. I shall use the word ‘almighty’ to express God's power over all things, and I shall take ‘omnipotence’ to mean ability to do everything. (shrink)

Collective deliberation is fuelled by disagreements and its epistemic value depends, inter alia, on how the participants respond to each other in disagreements. I use this accountability thesis to argue that deliberation may be valued not just instrumentally but also for its procedural features. The instrumental epistemic value of deliberation depends on whether it leads to more or less accurate beliefs among the participants. The procedural epistemic value of deliberation hinges on the relationships of mutual accountability that characterize appropriately conducted (...) deliberation. I will argue that it only comes into view from the second-person standpoint. I shall explain what the second-person standpoint in the epistemic context entails and how it compares to Stephen Darwall’s interpretation of the second-person standpoint in ethics. (shrink)

Putnam and Laudan separately argue that the falsity of past scientific theories gives us reason to doubt the truth of current theories. Their arguments have been highly influential, and have generated a significant literature over the past couple of decades. Most of this literature attempts to defend scientific realism by attacking the historical evidence on which the premises of the relevant argument are based. However, I argue that both Putnam's and Laudan's arguments are fallacious, and hence attacking their premises is (...) unnecessary. The paper concludes with a discussion of the further historical evidence that would be required if the pessimistic induction is to present a serious threat to scientific realism. (shrink)

Embodied Memories, Embedded Healing foregrounds the East Asian cultural beliefs and practices that shape the environmental consciousness of the twenty-first century. In highlighting such influences, this anthology also foregrounds the closely related new and exciting directions in ecocriticism.

Perceptual constancies have been studied by psychologists for decades, but in recent years, they have also become a major topic in the philosophy of mind. One reason for this surge of interest is Tyler Burge’s (2010) influential claim that constancy mechanisms mark the difference between perception and mere sensitivity, and thereby also the difference between organisms with genuine representational capacities and ‘mindless’ beings. Burge’s claim has been the subject of intense debate. It is becoming increasingly clear, however, that we cannot (...) hope to settle this debate (as well as related debates in the philosophy of mind) without a clear and substantive theoretical account of what perceptual constancies are. In the first part of this paper, I argue that the standard definitions in the literature fall short of providing such an account. Still, as I aim to show in the second part of the paper, by taking a closer look at some of the paradigm examples, it is possible to construct a plausible general account of perceptual constancies that is both clear and substantive, and that can serve as a firm foundation for settling debates like the dispute about Burge’s ‘constancy mechanism criterion’ for perception. (shrink)

The Sleeping Beauty paradox in epistemology and the many-worlds interpretation of quantum mechanics both raise problems concerning subjective probability assignments. Furthermore, there are striking parallels between the two cases; in both cases personal experience has a branching structure, and in both cases the agent loses herself among the branches. However, the treatment of probability is very different in the two cases, for no good reason that I can see. Suppose, then, that we adopt the same treatment of probability in each (...) case. Then the dominant ‘thirder’ solution to the Sleeping Beauty paradox becomes incompatible with the tenability of the many-worlds interpretation. (shrink)

According to the Fine-Tuning Argument, the existence of life in our universe confirms the Multiverse Hypothesis. A standard objection to FTA is that it violates the Requirement of Total Evidence. I argue that RTE should be rejected in favor of the Predesignation Requirement, according to which, in assessing the outcome of a probabilistic process, we should only use evidence characterizable in a manner available before observing the outcome. This produces the right verdicts in some simple cases in which RTE leads (...) us astray, and, when applied to FTA, it shows that our evidence does confirm HM. (shrink)